AGDA_DIR=$PWD/test/Succeed/exec-tc/